(set-info :smt-lib-version 2.6)
(set-logic QF_AX)
(set-info :status unsat)
(declare-sort Index 0)
(declare-sort Element 0)
(declare-fun a1 () (Array Index Element))
(declare-fun i0 () Index)
(declare-fun e0 () Element)
(assert (not (= (select (store a1 i0 e0) i0) e0)))
(check-sat)
(exit)
